The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
اقرأ المزيدThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
اقرأ المزيد